const workspaceBox = box.copy();
const [width, height] = workspaceBox.get_size();
const {y1: startY} = this._workAreaBox;
- const { spacing } = this;
- const { expandFraction } = this._workspacesThumbnails;
+ const {spacing} = this;
+ const {expandFraction} = this._workspacesThumbnails;
switch (state) {
case ControlsState.HIDDEN:
const [width, height] = box.get_size();
const {y1: startY} = this._workAreaBox;
const appDisplayBox = new Clutter.ActorBox();
- const { spacing } = this;
+ const {spacing} = this;
switch (state) {
case ControlsState.HIDDEN: